This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lee masUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lee masIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee masIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lee masThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lee masThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lee masThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee masThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee masThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee masThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lee masETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee masConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee masThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lee masThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lee masIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lee masThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Lee mas